Results for 'Sergeĭ Pavlovich Shchavelëv'

561 found
Order:
  1.  4
    "Sini︠a︡i︠a︡ ptit︠s︡a" povsednevnosti: ėti︠u︡dy k antropologii obydennogo soznanii︠a︡.Sergeĭ Pavlovich Shchavelëv - 2002 - Kursk: Kurskiĭ gos. med. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Dialektika ėmpiricheskogo i teoricheskogo v istoricheskom poznanii.Sergei Pavlovich Saiko - 1975 - Alma-Ata: Nauka.
  3.  72
    The Russian cosmists: the esoteric futurism of Nikolai Fedorov and his followers.George M. Young - 2012 - New York: Oxford University Press.
    The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and spiritual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  8
    La virtud cívica republicana en las sociedades contemporáneas. Resumen de Tesis de Doctorado en Filosofía de Marcelo Fernández Pavlovich.Marcelo Fernández Pavlovich - 2024 - Revista de Filosofía (La Plata) 54 (1):e105.
    Resumen de tesis de Doctorado en Filosofía: La virtud cívica republicana en las sociedades contemporáneas de Marcelo Fernández Pavlovich.Directora: Dra. Graciela Vidiella. Fecha de defensa: 13 de setiembre de 2023.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    Naukata i zhiznenii︠a︡t svi︠a︡t: sbornik v chest na 60-godishninata na prof. Sergeĭ Gerdzhikov.Sergeĭ Gerdzhikov, Konstantin I︠A︡nakiev & Dimitŭr Elchinov (eds.) - 2017 - Sofii︠a︡: Universitetsko izdatelstvo "Sv. Kliment Okhridski".
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Empathy, Connectedness and Organisation.Kathryn Pavlovich & Keiko Krahnke - 2012 - Journal of Business Ethics 105 (1):131-137.
    In this paper, we conceptually explore the role of empathy as a connectedness organising mechanism. We expand ideas underlying positive organisational scholarship and examine leading-edge studies from neuroscience and quantum physics that give support to our claims. The perspective we propose has profound implications regarding how we organise and how we manage. First, we argue that empathy enhances connectedness through the unconscious sharing of neuro-pathways that dissolves the barriers between self and other. This sharing encourages the integration of affective and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  35
    Conscious Enterprise Emergence: Shared Value Creation Through Expanded Conscious Awareness.Kathryn Pavlovich & Patricia Doyle Corner - 2014 - Journal of Business Ethics 121 (3):341-351.
    We propose conscious awareness as a mechanism for creating “shared value”; a form of value that Porter describes as putting social and community needs before profit. We explore the mechanism empirically in an entrepreneurial context and find that spiritual practices increase conscious awareness which, in turn, shapes entrepreneurial intentions and venture characteristics focused on shared value.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  52
    Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
    The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  9.  55
    BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
    Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  33
    Byzantine Perspectives on Neoplatonism.Mariev Sergei (ed.) - 2017 - Berlin/Boston: De Gruyter.
    Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  28
    Research on QR image code recognition system based on artificial intelligence algorithm.Pljonkin Anton Pavlovich, Pradeep Kumar Singh, Jianxing Zhu & Lina Huo - 2021 - Journal of Intelligent Systems 30 (1):855-867.
    The QR code recognition often faces the challenges of uneven background fluctuations, inadequate illuminations, and distortions due to the improper image acquisition method. This makes the identification of QR codes difficult, and therefore, to deal with this problem, artificial intelligence-based systems came into existence. To improve the recognition rate of QR image codes, this article adopts an improved adaptive median filter algorithm and a QR code distortion correction method based on backpropagation (BP) neural networks. This combination of artificial intelligence algorithms (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  30
    The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
    Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  96
    The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
    The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Why Giorgio Agamben is an optimist.Sergei Prozorov - 2010 - Philosophy and Social Criticism 36 (9):1053-1073.
    The article takes Giorgio Agamben’s declaration of his optimism with regard to the possibilities of global political transformation as a point of departure for the inquiry into the affirmative aspects of Agamben’s political thought, frequently overshadowed by his more famous critical claims. We reconstitute three principles grounding Agamben’s optimism that pertain respectively to the total crisis of the contemporary biopolitical apparatuses, the possibility of a radically different form-of-life on the basis of their residue and the minimalist character of this transformation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. (1 other version)Realization of analysis into explicit mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
    We define a novel interpretation R of second order arithmetic into Explicit Mathematics. As a difference from standard D-interpretation, which was used before and was shown to interpret only subsystems proof-theoretically weaker than T 0 , our interpretation can reach the full strength of T 0 . The R-interpretation is an adaptation of Kleene's recursive realizability, and is applicable only to intuitionistic theories.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  17
    Accent labeling algorithm based on morphological rules and machine learning in English conversion system.Pljonkin Anton Pavlovich, Pradeep Kumar Singh & Xiaofeng Liu - 2021 - Journal of Intelligent Systems 30 (1):881-892.
    The dependency of a speech recognition system on the accent of a user leads to the variation in its performance, as the people from different backgrounds have different accents. Accent labeling and conversion have been reported as a prospective solution for the challenges faced in language learning and various other voice-based advents. In the English TTS system, the accent labeling of unregistered words is another very important link besides the phonetic conversion. Since the importance of the primary stress is much (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  78
    On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
  18.  9
    Aristóteles, republicanismo y virtud cívica en las sociedades complejas contemporáneas.Marcelo Fernandez Pavlovich - 2023 - Cuadernos Filosóficos / Segunda Época 20.
    Si dejamos a un lado la teoría, son tiempos difíciles para el republicanismo y uno de sus conceptos centrales: la virtud cívica. A contramano de ello, cabe la pregunta respecto a las nociones aristotélicas que, en tal sentido, podrían pervivir en las sociedades complejas contemporáneas. Se repasarán algunos conceptos políticos clave del pensador estagirita y también de Marco Tulio Cicerón, autor romano que sigue sus pasos, para luego intentar actualizar aquellos elementos que, entendemos, aún pueden aplicarse a nuestras sociedades, mientras (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  6
    Ocherki prakseologii filosofii.A. A. Pavlovich - 1999 - Permʹ: Permskiĭ gos. tekhnicheskiĭ universitet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  6
    Rannie formy religii.Sergeĭ Aleksandrovich Tokarev - 1990 - Moskva: Izd-vo polit. lit-ry.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  15
    Johann Christoph Sturm.Sergei Secundant - 2016 - Epistemology and Philosophy of Science 48 (2):104-120.
    In this paper the philosophical ideology of eclecticism of Modern times is considered, especially as it has been formulated byJ. Ch.Sturm, and assessment of its contribution to development of philosophical and scientific thought is given. The need of differentiation of eclecticism, syncretism and conciliatorics is proved. Eclecticism is characterized as a progressive for its time current. The decisive impact eclecticism on formation of new scientific outlook is emphasized.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  59
    Why is there truth? Foucault in the age of post‐truth politics.Sergei Prozorov - 2019 - Constellations 26 (1):18-30.
  23.  12
    Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.
    Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  24.  36
    A thousand healths: Jean-Luc Nancy and the possibility of democratic biopolitics.Sergei Prozorov - 2018 - Philosophy and Social Criticism 44 (10):1090-1109.
    This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
  26. On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
    The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
    We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   91 citations  
  28.  84
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2020 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  29.  15
    Agamben and Politics: A Critical Introduction.Sergei Prozorov - 2014 - Edinburgh: Edinburgh University Press.
    Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  30.  11
    B. Baradin on Buddhism: the History of Theses for a Failed Lecture.Sergei P. Nesterkin & Нестеркин Сергей Петрович - 2024 - RUDN Journal of Philosophy 28 (1):120-125.
    The study serves as an introduction to the publication of B. Baradin’s (1878-1937) theses for the lecture by A. Dorzhiev (1853-1938), which was to be read at the international Buddhist exhibition planned in Leningrad in 1927. The author dwells in detail on the biographies of the Buryat academic scientist B. Baradin, as well as his Buddhist mentor Geshe A. Dorzhiev, at whose request he compiled theses. Turning to the history of the first Buddhist exhibition, which took place during the Civil (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    Neoplatonic Philosophy in Byzantium.Sergei Mariev - 2017 - In Mariev Sergei (ed.), Byzantine Perspectives on Neoplatonism. Berlin/Boston: De Gruyter. pp. 1-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  33
    The Role of Exceptionalism in the Evolution of Bioethical Regulation.Sergei Shevchenko & Alexey Zhavoronkov - 2024 - Cambridge Quarterly of Healthcare Ethics 33 (2):185-197.
    The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Teleologia.Sergeĭ Shalvovich Avaliani - 2003 - Tʻbilisi: ŠPS "Lega".
    No categories
     
    Export citation  
     
    Bookmark  
  34.  2
    Metafora "mir--ėto teatr" v rannee Novoe vremi︠a︡: monografii︠a︡.Sergeĭ Sergeevich Bychkov - 2022 - Krasnodar: Kubanskiĭ gosudarstvennyĭ universitet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  8
    On the Progress of Mathematics.Sergei Demidov - 2000 - In Emily Grosholz & Herbert Breger (eds.), The growth of mathematical knowledge. Boston: Kluwer Academic Publishers. pp. 377--386.
  36. Eine nicht gleichmütige Natur.Sergei Eisenstein - 1980 - Berlin: Henschelverlag Kunst und Gesellschaft. Edited by Rosemarie Heise.
     
    Export citation  
     
    Bookmark  
  37.  14
    Was soll in der Sinnespsychologie und -Physiologie als "Adaequater Reiz" gelten?Sergei Feitelberg - 1939 - Synthese 4 (12):57 - 60.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  5
    Osnovy pedagogiki.Sergeĭ Iosifovich Gessen - 1923
  39.  10
    Pami︠a︡tʹ i lichnostʹ: monografii︠a︡.Sergeĭ Grigorʹevich Kiselʹ - 2005 - Kharʹkov: UIPA.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  49
    Cosmology of Mind.Sergei Mareyev - 2005 - Studies in East European Thought 57 (3-4):249-259.
    In Il’enkov’s “Cosmology of mind,” written in his younger days in the tradition of Spinoza and Engels, the thinking mind appears as a necessary attribute of matter. Like all other main forms of matter in motion, the mind has its cosmic purpose and predestination. Il’enkov argued that it has to close the beginning and the end of the Big Cycle in order to return the dying Universe to its fiery youth. Il’enkov believed that this is the sole way to save (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  28
    Theoretical eudaimonia in Michael of Ephesus.Sergei Mariev - 2015 - Quaestio 15:185-192.
    The present paper concentrates on the comments of Michael of Ephesus to the 10th book of the Nicomachean Ethics. In particular it investigates the way in which Michael of Ephesus conceived the relationship between political and theoretical happiness. Doing so allows to evidence the theoretical ties that connect Michael of Ephesus with the Peripatetic philosopher Aspasius and demonstrates the influence of Proclus on Michael of Ephesus.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  19
    Art, ‘Knowing’ and Management Education.Kathryn Pavlovich & Keiko Krahnke - 2008 - Journal of Human Values 14 (1):23-30.
    This article explores the concept of knowledge as an internal process of inner knowing. In the educational context, we describe our experiences in using art in the classroom to assist our students in accessing this inner knowing. We describe the design and use of such creative expressions. Our findings indicate that students have to integrate both right- and left-brain thinking to access their inner tuition. This slows down linear thinking in order to access the more affective-based learning process. Further, it (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  30
    Organizing for thoughtful food: a meshwork approach.Kathryn Pavlovich, Alison Henderson & David Barling - 2021 - Agriculture and Human Values 38 (1):145-155.
    This paper provides an alternative narrative for organizing food systems. It introduces meshwork as a novel theoretical lens to examine the ontological assumptions underlying the shadow and informal dynamics of organizing food. Through a longitudinal qualitative case study, we place relationality and becoming at the centre of organizing food and food systems, demonstrating how entangled relationships can create a complex ontology through the meshwork knots, threads and weave. We show how issues of collective concern come together to form dynamic knots (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  57
    Foucault’s Affirmative Biopolitics: Cynic Parrhesia and the Biopower of the Powerless.Sergei Prozorov - 2017 - Political Theory 45 (6):801-823.
    While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  20
    A Farewell to Homo Sacer? Sovereign Power and Bare Life in Agamben’s Coronavirus Commentary.Sergei Prozorov - 2023 - Law and Critique 34 (1):63-80.
    The article addresses Giorgio Agamben’s critical commentary on the global governance of the Covid-19 pandemic as a paradigm of his political thought. While Agamben’s comments have been criticized as exaggerated and conspiratorial, they arise from the conceptual constellation that he has developed starting from the first volume of his Homo Sacer series. At the centre of this constellation is the relation between the concepts of sovereign power and bare life, whose articulation in the figure of homo sacer Agamben traces from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  51
    The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.
    This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  47.  34
    Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
    We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48. On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.
    This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  49.  69
    On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
    N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  50.  34
    Belnap–Dunn Modal Logics: Truth Constants Vs. Truth Values.Sergei P. Odintsov & Stanislav O. Speranski - 2020 - Review of Symbolic Logic 13 (2):416-435.
    We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 561